package fr.upmc.tep.lambda.evaluation.types;

/**
 * Represents a tree of a lambda expression. The root will always be a
 * LApplicationNode, or else the lambda expression can't be evaluated. Since
 * the root is an Application, it has a left and right member to navigate to,
 * this way we can navigate in the tree from the root to the leafs. A leaf of
 * the tree will always be a LVariableNode.
 * 
 * @author Fabrice Reynaud, Yihan Wang
 *
 */
public class LTree {
	
	private LNode root;
	
	public LTree(LNode term) {
		this.root = term;
	}
		
	public LNode getRoot() {
		return root;
	}

	public void setRoot(LNode root) {
		this.root = root;
	}

	public String display(){
		return root.toLambdaExpression();
	}
}